mod is_zero_gadget;
